LOGICAL IMPLICATION

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Conceptions of Logical Implication*

This is a survey paper of approaches to the concept of logical implication. Roughly stated the main motivation of these approaches is to provide a necessary and sufficient condition for a set of propositions to logically imply a single proposition. In regard to their affinities these approaches are grouped into two: the transformational conception and the informational conception. Some approach...

متن کامل

Probability of Implication , Logical

| Logical inference starts with concluding that if B implies A, and B is true, then A is true as well. To describe probabilistic inference rules, we must therefore deene the probability of an implication \A if B". There exist two diierent approaches to deening this probability, and these approaches lead to diierent probabilistic inference rules: We may interpret the probability of an implicatio...

متن کامل

Logical Implication and Causal Dependency

Suppose that whenever event x occurs, a second event y must subsequently occur. We say that x “causes” y, or y is causally dependent on x. Deterministic causality abounds in software where execution of one routine can necessarily force execution of a subsequent subroutine. Discovery of such causal dependencies can be an important step to understanding the structure of undocumented, legacy code....

متن کامل

Decision implication canonical basis: a logical perspective

Article history: Received 11 October 2011 Received in revised form 19 March 2014 Accepted 16 May 2014 Available online 11 June 2014

متن کامل

Constructing Reenement Operators by Decomposing Logical Implication

Inductive learning models 14] 17] often use a search space of clauses, ordered by a generalization hierarchy. To nd solutions in the model, search algorithms use diierent generalization and specialization operators. In this article we will decompose the quasi-ordering induced by logical implication into six increasingly weak orderings. The diierence between two successive orderings will be smal...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Mind

سال: 1908

ISSN: 0026-4423,1460-2113

DOI: 10.1093/mind/xvii.2.302